Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
221	Formal ontologies for space and time Thomas Bittner, Barry Smith , and Institute for Formal Ontology and Medical Information Science (IFOMIS) Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2003-04-03 09:44:32 Philosophy Metaphysics Ontology Information science Knowledge representation Meaning philosophy of language) Technical communication Formal ontology Process philosophy Four-dimensionalism Barry Smith Web Ontology Language
222	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
223	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
224	Microsoft PowerPoint - 04_Australia_Gemma Beijing 2 talk.pptx Add to Reading List Source URL: ggim.un.org Language: English - Date: 2014-06-19 09:04:18 Computing Information Data Data management Formal sciences Business intelligence Big data Analytics Data visualization Data science Statistics Microdata
225	An ontology for drug-drug interactions Maria Herrero-Zazo1,2, Janna Hastings2,3, Isabel Segura-Bedmar1, Samuel Croset4, Paloma Martinez1, Christoph Steinbeck2 1 Department of Computer Science, University Carlos III of Ma Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-11-25 10:15:46 Ontology Knowledge representation Information science Semantic Web Computing Pharmacology Pharmacokinetics Formal ontology Didanosine OBO Foundry Drug interaction Web Ontology Language
226	Microsoft Word - 48EB8428-7110-28C74A.doc Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-10-20 07:47:25 Knowledge representation Ontology Information science Cognitive science Knowledge Technical communication Knowledge engineering WordNet Upper ontology FrameNet Formal ontology Frame language
227	Microsoft Word - CeustersAMIA2006FINAL11.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2006-07-05 16:27:32 Ontology Information science Technical communication Knowledge representation Semantic Web Information Knowledge Upper ontology OBO Foundry Formal ontology Barry Smith Gene ontology
228	arXiv:1503.05570v1 [stat.OT] 18 MarA Data Science Course for Undergraduates: Thinking with Data Ben Baumer, Smith College March 20, 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-03-19 20:23:43 Software Computing Application software Formal sciences Data Visualization Free statistical software Data mining Data analysis Data visualization Statistics education Statistics
229	GLA: A Generic Analytics Tool for e-Learning Daniel Schön, Steffen Sikora, Stephan Kopf, Wolfgang Effelsberg Department of Computer Science IV University of Mannheim Seminar Building A5, Mannheim Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-03 16:17:56 Education Educational technology Learning Formal sciences Learning analytics Analytics Educational data mining Virtual learning environment Learning management system Data mining
230	Microsoft Word - O-MaSEMALLOW_LNCSFormat_Final.doc Add to Reading List Source URL: www.pa.icar.cnr.it Language: English - Date: 2011-10-25 11:02:37 Software engineering Scientific modeling Computing Systems science Process management Software development process Formal methods Object Process Methodology Business process modeling Agent-based model Requirement Metamodeling

UPDATE